정보과학회 컴퓨팅의 실제 논문지 (KIISE Transactions on Computing Practices)
Current Result Document :
| 한글제목(Korean Title) |
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용 |
| 영문제목(English Title) |
Definition and Application of Mutation Operator Extensions for FBD Programs |
| 저자(Author) |
지은경
송지영
배두환
Eunkyoung Jee
Jiyoung Song
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 24 NO. 11 PP. 0589 ~ 0595 (2018. 11) |
한글내용
(Korean Abstract) |
Function Block Diagram (FBD)은 프로그래머블 로직 콘트롤러 용 표준 프로그래밍 언어 중 하나이다. 테스트 집합의 오류 검출 효과성 평가에 널리 사용되는 뮤테이션 분석 기법을 FBD 프로그램 테스팅에 적용하기 위해 기존 연구들에서 5종에서 9종의 FBD 프로그램 대상 뮤테이션 연산자를 정의하였다. IEC61131-3 표준에는 FBD 프로그램 내 사용되는 블록들이 300여개 정의되어 있으나, 기존 뮤테이션 연산자 집합은 내부 상태를 가지는 function block들을 포함하여 FBD 프로그램 내 기능 요소들을 포괄적으로 다루지 못한다. 또한, 입력들의 순서가 바뀌는 오류 등 FBD 프로그램 상에서 발생할 수 있는 다양한 오류 타입을 충분히 모사하지 못한다는 한계점을 가지고 있다. 본 연구에서는 FBD 프로그램의 기능요소들과 FBD 프로그램 상에서 발생 가능한 오류 타입을 포괄적으로 고려하여 뮤테이션 연산자를 추가 정의하고, 사례 연구를 통해 효과성을 분석한다.
|
영문내용
(English Abstract) |
Function Block Diagram (FBD) is one of the standard programming languages for Programmable Logic Controller. In order to apply the mutation analysis technique, which is a widely employed technique to evaluate the fault detection effectiveness of the test sets, to the FBD programs, five to nine mutation operators for the FBD programs were defined in the previous studies. In the IEC61131-3 standard, more than 300 standard blocks are defined, but the existing set of mutation operators does not cover functional elements of the FBD programs comprehensively, including function blocks with internal states. Moreover, it cannot sufficiently generate different errors that may occur in the FBD programs, such as errors of switched inputs. In this study, we have defined additional mutation operators by comprehensively considering the functional elements that can be used in the FBD programs and the types of errors that can occur in the FBD programs. Also, we have evaluated the impact of the extension of mutation operators by conducting a case study.
|
| 키워드(Keyword) |
기능 블록 다이어그램
뮤테이션 테스팅
뮤테이션 연산자
테스트 생성
테스트 평가
function block diagram
mutation testing
mutation operator
test generation
test evaluation
|
| 파일첨부 |
PDF 다운로드
|
